Finite automata - PDFSEARCH.IO - Document Search Engine

Finite automata
Results: 673

#	Item
581	TEMPO RELEASE NOTES v0.1.4 (BETA[removed]Recent Fixes (v0.1.4) Add to Reading List Source URL: www.veromodo.com Language: English - Date: 2011-07-22 14:00:16 Automata theory C++ Scope ALGOL 68 C++ classes Type inference Quantum finite automata Model checking JavaScript Software engineering Programming language theory Computing
582	CS345: Theory of Computation Class schedule & room: Time: Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-04-10 18:04:10 Theory of computation Models of computation Computer science Context-free language Recursively enumerable language Finite-state machine Regular language Deterministic finite automaton Nondeterministic finite automaton Formal languages Theoretical computer science Automata theory
583	Conjunctive Queries for EL with Role Composition Markus Krötzsch and Sebastian Rudolph Institute AIFB, Universität Karlsruhe, Germany {mak\|sru}@aifb.uni-karlsruhe.de Abstract. EL++ is a rather expressive description l Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Computer science Mathematics Conjunctive query Nondeterministic finite automaton Deterministic finite automaton Structure Algorithm Computational complexity theory Finite-state machine Automata theory Models of computation Theoretical computer science
584	Dependency Tree Automata Colin Stirling [removed] Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-12-22 09:12:53 Computer science Model checking Finite-state machine Tree automaton End Model theory Simply typed lambda calculus Graph Configuration graph Theoretical computer science Automata theory Mathematics
585	Dependency Tree Automata Colin Stirling School of Informatics Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-01-05 09:54:02 Alternating tree automata Nested word Ω-automaton Tree automaton Alternating finite automaton Automata theory Theoretical computer science Computer science
586	A Hybrid State Machine Notation for Component Specification Alexander Sakharov [removed] Add to Reading List Source URL: sakharov.net Language: English - Date: 2008-05-18 20:05:46 Software Diagrams Automata theory Digital electronics Formal methods Finite-state machine State diagram Unified Modeling Language Lexical analysis Models of computation Computing Software engineering
587	Microsoft Word - LCC '05.doc Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:06 Computer science Automata theory Computability theory Formal methods Turing machine Pointer machine Finite-state machine Monad Computability Theory of computation Models of computation Theoretical computer science
588	Propositional Tree Automata Joe Hendrix1 , Hitoshi Ohsaki2 , and Mahesh Viswanathan1 1 Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2006-03-01 13:27:55 Mathematics Symbol Interpretation Tree automaton Nondeterministic finite automaton Complementation of Büchi automaton Automata theory Theoretical computer science Logic
589	Information and Computation[removed]–19 www.elsevier.com/locate/ic DP lower bounds for equivalence-checking and model-checking of one-counter automataୋ Petr Janˇcar,a,1 Antonín Kuˇcera,b,1 Faron Moller,c,∗ a Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2003-12-16 10:28:26 Models of computation FO Finite model theory If and only if Logical connective Automata theory Interpretation Conjunctive normal form Petri net Mathematics Theoretical computer science Logic
590	Applying automata and games to simply typed lambda calculus Colin Stirling Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2013-02-25 10:42:23 Computer science Models of computation Formal methods Model checking Simply typed lambda calculus Lambda calculus Finite-state machine Model theory ALGOL Theory of computation Theoretical computer science Automata theory

UPDATE